/**
 * Provides a typechecker plug-in for the OIGJ {@link checkers.oigj.quals}
 * qualifiers that finds (and verifies the absence of) immutability errors.
 *
 * The checker guarantees that no immutable object is modified and no object
 * is mutated through a read-only reference.
 *
 * @see checkers.oigj.OIGJChecker
 * @manual #oigj-checker OIGJ Checker
 */
package checkers.oigj;
